Automatic program verification system

automatic ['ɔtə'mætɪk]

adj. 自动的;不假思索的，无意识的;必然发生的; n. 自动化机器或设备;自动手枪;

autom=auto，autom自动+atic有...性质的 → 自动的；机械的

program ['proɡræm]

n. 程序;节目，节目单;计划，安排; v. [计]给…编写程序;为…制定计划;设计安排活动;编排;

pro在前+gram写，图→在前面写好→计划；提纲

verification [,verifi'keiʃən]

n. 证明;证实;<哲>（指通过经验）证明（某命题正确）;核实;

system ['sɪstəm]

n. 体系，系统;制度;身体;方法;

sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

It's a perfect day for it--a little cloudy but nice and warm.

今天是最好的看球天气，有点云，但舒适暖和。

Our company is one of the big names and has a long tradition.

我们是一家久负盛名，有着悠久历史的公司。

I'm afraid I can't agree with you. That's a good way of giving information, but it's not a good way of persuading people. For one thing, it's boring, and people aren't going to read an ad that looks boring. For another thing, one computer looks very like

恐怕我不能同意你的意见。那是个通报信息的好办法，但并非是使人信服的好办法。一是它很乏味，人们是不会去读一则看起来很乏味的广告的。其次，计算机彼此都很相像。人们不会记住产品的名字的。